solvable for X